Теорема

Теорема для доказательства другой теоремы

Вспомогательная теорема, необходимая для доказательства другой теоремы

Промежуточная теорема

ж. греч. математическое предложенье, выводимое следствием из предыдущего, доказанного

В математике: вспомогательная теорема, необходимая для доказательства другой теоремы

Теорема в теореме

Новый толково-словообразовательный словарь русского языка, Т. Ф. Ефремова. Значение слова в словаре Новый толково-словообразовательный словарь русского языка, Т. Ф. Ефремова.
ж. Теорема, необходимая только для доказательства другой теоремы (в математике).

Толковый словарь русского языка. Д.Н. Ушаков Значение слова в словаре Толковый словарь русского языка. Д.Н. Ушаков
леммы, ж. (греч. lemma) (мат.). Теорема, не имеющая самостоятельного значения, нужная лишь для доказательства другой теоремы.

Википедия Значение слова в словаре Википедия
Лемма (греч. λημμα — предположение) — доказанное утверждение, полезное не само по себе, а для доказательства других утверждений. Примеры известных лемм — лемма Евклида , лемма Жордана , лемма Гаусса , лемма Накаямы , лемма Бёрнсайда , лемма Морса , лемма ...

Большая Советская Энциклопедия Значение слова в словаре Большая Советская Энциклопедия
(греч. lemma) в математике, вспомогательное предложение, употребляемое при доказательстве одной или нескольких теорем . Термин «Л.» введён древнегреческими геометрами; особенно часто встречается у Архимеда.